Counteracting the Effects of Adversarial Inputs on Asynchronous Sequential Machines
نویسندگان
چکیده
The problem of counteracting the effects of adversarial inputs on the operation of an asynchronous sequential machine is considered. The objective is to build an automatic state-feedback controller that returns an asynchronous sequential machine to its original state, after the machine has undergone a state transition caused by an adversarial input. It is shown that the existence of such a controller depends on certain reachability and detectability properties of the affected machine.
منابع مشابه
Fault Tolerance in Asynchronously Operated Machines Allowing Temporary Violation of Normal Specification
A novel scheme of fault tolerance for input/state asynchronous sequential machines is presented in this paper. The machine may undergo unauthorized state transitions caused by adversarial inputs. The considered faults have the feature of intermittency in their influences so that the adverse effect persists for some finite time after initial occurrence. Since strong fault tolerance is impossible...
متن کاملOn Fault Diagnosis of Asynchronous Sequential Machines with Parallel Composition
Fault diagnosis of composite asynchronous sequential machines with parallel composition is addressed in this paper. An adversarial input can infiltrate one of two submachines comprising the composite asynchronous machine, causing an unauthorized state transition. The objective is to characterize the condition under which the controller can diagnose any fault occurrence. Two control configuratio...
متن کاملRestricted cascade and wreath products of fuzzy finite switchboard state machines
A finite switchboard state machine is a specialized finite state machine. It is built by binding the concepts of switching state machines and commutative state machines. The main purpose of this paper is to give a specific algorithm for fuzzy finite switchboard state machine and also, investigates the concepts of switching relation, covering, restricted cascade products and wreath products of f...
متن کاملConditions for Model Matching of Switched Asynchronous Sequential Machines with Output Feedback
Solvability of the model matching problem for input/output switched asynchronous sequential machines is discussed in this paper. The control objective is to determine the existence condition and design algorithm for a corrective controller that can match the stable-state behavior of the closed-loop system to that of a reference model. Switching operations and correction procedures are incorpora...
متن کاملFault Tolerance for Input Faults in a Class of Asynchronous Sequential Machines
In this paper, we address the problem of tolerating the adverse effects of input faults on the operation of a class of asynchronous sequential machines. Occurring to either the external input or the control input generated by the controller, input faults can cause unauthorized changes of the input value. In the framework of corrective control, we present the necessary and sufficient condition f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008